RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
نویسندگان
چکیده
individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.
منابع مشابه
Applying Simulation and Reliability to Vehicle Routing Problems with Stochastic Demands
Vehicle Routing Problems (VRPs) cover a wide range of well-known NP-hard problems where the aim is to serve a set of customers with a fleet of vehicles under certain constraints. Literature contains several approaches -coming from different fields like Operations Research, Artificial Intelligence and Computer Sciencewhich try to get good (near-optimal) solutions for small-, midand large-size in...
متن کاملImproving the Automatic Test Generation process for Coverage Analysis using CBMC
Software Testing via Coverage Analysis is the most used technique for software verification in industry, but, since manual generation is involved, remains one of the most expensive process of the software development. Many tools have been proposed for the automatic test generation: on one hand they reduce the cost of the testing generation process, on the other hand the quality of the test set ...
متن کاملBoolean Lexicographic Optimization
Multi-Objective Combinatorial Optimization (MOCO) problems find a wide range of practical application problems, some of which involving Boolean variables and constraints. This paper develops and evaluates algorithms for solving MOCO problems, defined on Boolean domains, and where the optimality criterion is lexicographic. The proposed algorithms build on existing algorithms for either Maximum S...
متن کاملSearching for Sequential Plans Using Tabled Logic Programming
Logic programming provides a declarative framework for modeling and solving many combinatorial problems. Until recently, it was not competitive with state of the art planning techniques partly due to search capabilities limited to backtracking. Recent development brought more advanced search techniques to logic programming such as tabling that simplifies implementation and exploitation of more ...
متن کاملSelecting Efficient Service-providers in Electric Power Distribution Industry Using Combinatorial Reverse Auction
In this paper, a combinatorial reverse auction mechanism is proposed for selecting the most efficient service-providers for resolving sustained power interruptions in multiple regions of an electric power distribution company’s responsibility area. Through this mechanism, supplying the required service in each region is assigned to only one potential service-provider considering two criteria in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 107 شماره
صفحات -
تاریخ انتشار 2011